Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
771	PDF Document Add to Reading List Source URL: darwin.bth.rwth-aachen.de Language: English - Date: 2012-01-17 04:43:03 Configuration graph Determinacy Combinatorial game theory Automata theory Models of computation Finite model theory Game theory Parity game
772	A Lambda Calculus of Incomplete Objects Viviana Bono∗ ∗ ∗∗ Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:29:22 Type theory Data types Object-oriented programming Models of computation Deduction Type system Symbol Subtype polymorphism Lambda calculus Software engineering Computing Logic
773	Complex Behavior in Long-Distance Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2014-09-26 15:56:01 Computability theory Systems Complex systems theory Rule 110 Rule 30 L-system Turing machine Complex system Function Mathematics Theory of computation Cellular automaton
774	T H E R E Is N o S O F T W A R E K he Add to Reading List Source URL: classes.dma.ucla.edu Language: English - Date: 2014-10-12 21:29:55 Computability theory Turing machine Alan Turing Models of computation Algorithm Finite-state machine Computer Church–Turing thesis Computability Theoretical computer science Theory of computation Computer science
775	First-class labels for extensible rows Technical report: UU-CSDaan Leijen Institute of Information and Computing Sciences, Utrecht University P.O.Box, 3508 TB Utrecht, The Netherlands Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-04-26 18:48:58 Applied mathematics Formal methods Models of computation Computability theory System F Predicate Lambda calculus Function Unification Mathematics Type theory Theoretical computer science
776	1975 A C M F u r i n g Award t,ecture The 1975 ACM Turing Award was presented jointly to Allen Newell and Herbert A. Simon at the ACM Annual Conference in Mim?eapolis, October 20. In introducing the recipients, Bernard A Add to Reading List Source URL: mypage.iu.edu Language: English - Date: 2015-01-11 16:22:38 Theory of computation Turing machine Models of computation Computability theory Philosophy of artificial intelligence Physical symbol system Information theory Turing Award Allen Newell Science Computer science Alan Turing
777	Infinity in Informatics: Endless Loops Motivations for Working on Scientific Problems ∞ Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2009-11-19 06:56:20 Philosophy of mathematics Theory of computation Computability theory Algorithm Mathematical logic Infinity Halting problem Actual infinity PP Mathematics Theoretical computer science Applied mathematics
778	On Compact Directed Acyclic Word Graphs Maxime Crochemore and Renaud Verin Institut Gaspard Monge Universite de Marne-La-Vallee, 2, rue de la Butte Verte, FNoisy-Le-Grand. http://www-igm.univ-mlv.fr Add to Reading List Source URL: www.gtoal.com Language: English - Date: 2008-10-12 12:37:51 Models of computation Directed graph Mathematics Computer science Automata theory Theoretical computer science Directed acyclic word graph
779	Subtree and Tree Pattern Pushdown Automata for Trees In Prefix Notation Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2009-02-16 12:13:50 A Finite-state machine Automata theory Models of computation Pushdown automaton
780	Channel Systems with Priorities Priority Embedding Computational Power Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-03-20 12:27:57 Turing completeness C1 Amines Turing machine Theory of computation Programming language theory

UPDATE